NAZANIN ROSHANDEL TAVANA
Assistant Professor
Department of Mathematics and Computer Science
Pure Mathematics
Department of Mathematics and Computer Science
Pure Mathematics
Download PDF فارسی
Content
Pepole
CV
Download PDF فارسی
Email:
nrtavana
aut.ac.ir
aut.ac.irPhone:
h-index (Scopus):
4.00
Citations (Scopus):
45
Supervised MSc Theses
#
Thesis title
By
Date
1
Reverse Cauchy-Schwarz inequalities and some consequences in inner product spaces
NEGIN RAISI & MEHDI ROSTAMI
2024 Oct
2
Existence and stability of solutions of a certain fractional boundary value problem
SHIRIN KEYVANFAR & SEYED MANSOUR VAEZPOUR
2024 Jul
3
Model Theory of One-Dimensional Asymptotic Classes
FATEME PEIMANY & MASOUD POURMAHDIAN
2023 Jul
4
MV_algebras with internal states and probablistic fuzzy logics
MOHAMMADREZA HEIDARI EZZATI
2023 Mar
5
Almost sure Theories in First Order Logic and its extensions
ZAHRA MOHAMMADI KHANGHESHLAGHI & MASOUD POURMAHDIAN
2023 Mar
6
non locality in quantum information theory
HAMID REZA SAADI & MASOUD POURMAHDIAN
2020 Jul
7
FRAISSE LIMITS OF C*-ALGEBRAS
MORTEZA NADERI & MASOUD POURMAHDIAN
2020 Jun
8
Frass construction in continuous logic
FAEZEH SAFAEE
2019 Feb
9
Model Theory of operator Algebra : Existentially Closed II1 Factors
BATOUL HESHMATI
2018 Feb
10
Model theory of operator algebras: elementary equivalence and II1 factors
MOHAMMAD HOSSEIN YEGANEH AMIRI
2018 Feb
11
Self-Supervised Contrastive Conditioning for Latent Diffusion-Based Histopathology Segmentation
MOHAMMADSHAKIB HOSSEINZADEH
2026 May
12
QUANTIFIER ELIMINATION IN II1 FACTORS
SEYED MOHAMMAD JAVAD RAZAVI TOOSI
2025 Aug
Journal Papers
1
JALILI GALEH SOMAYE ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Generic expansions of geometric theories", Journal of Symbolic Logic, 2024 Apr
vol. 0,
no. 0,
pp.1-22,
2024.
2
ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، S.M.Khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, 2024 Apr
vol. 485,
no. 0,
pp.1-10,
2024.
3
ROSHANDEL TAVANA NAZANIN, "Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms, 2023 Sep
vol. 12,
no. 9,
pp.858-870,
2023.
4
ROSHANDEL TAVANA NAZANIN, "The Craig Interpolation Property for Rational Godel Logic", Iranian Journal of Fuzzy Systems, 2022 Sep
vol. 20,
no. 1,
pp.1-8,
2022.
5
ROSHANDEL TAVANA NAZANIN, "An effective version of definability in metric structures", .Aut Journal of Mathematics and Computing, 2021 Dec
vol. 3,
no. 1,
pp.1-20,
2021.
6
Keng Meng Ng ، ROSHANDEL TAVANA NAZANIN ، Yang Yue, "A recursion theoretic foundation of computation over real numbers", Journal of Logic and Computation, 2021 Jul
vol. 0,
no. 0,
pp.1-30,
2021.
7
KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, 2016 Oct
vol. Vol 26,
no. 5,
pp.1743-1767,
2016.
8
POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, 2015 Dec
vol. 25,
no. 8,
pp.1779-1798,
2015.
9
Klaus Weihrauch ، ROSHANDEL TAVANA NAZANIN, "Representations of measurable sets in computable measure theory", Logical Methods In Computer Science, 2015 Aug
vol. 10,
no. 3,
pp.1-21,
2015.
10
POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Compactness in first order Godel logics", Journal of Logic and Computation, 2012 Sep
vol. 23,
no. 3,
pp.473-485,
2012.
11
ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in first order Lukasiewicz logic", Logic Journal of The Igpl, 2012 Feb
vol. 20,
no. 1,
pp.254-265,
2012.
12
ROSHANDEL TAVANA NAZANIN ، Klaus Weihrauch, "Turing machines on represented sets, a model of computation for analysis", Logical Methods In Computer Science, 2011 Jun
vol. 7,
no. 2,
pp.1-21,
2011.
Conference Papers
1
ROSHANDEL TAVANA NAZANIN,
"A computable version of Frass limit for metric structures,",
The 12th Annual Conference of the Iranian Association for Logic, Feb 2025.
2
ROSHANDEL TAVANA NAZANIN,
"Application of fuzzy membership matrix in Yoga for insomnia,",
The first national conference on the role of basic science in public sports and Kung Fu Tua, Jul 2023.
3
ROSHANDEL TAVANA NAZANIN,
"A property for minimal but not strongly minimal structures,",
The tenth conference of the lranian association for logic, Feb 2023.
4
ROSHANDEL TAVANA NAZANIN,
"Complexity in Computable Analysisi,",
Ninth Annual Conference of the Iranian Association for Logic, Jan 2022.
5
ROSHANDEL TAVANA NAZANIN,
"Some results of effectiveness in metric model theory,",
52nd annual Iranian Mathematics Conference, Aug 2021.
6
ROSHANDEL TAVANA NAZANIN,
"Some model theory on rational Godel logic,",
Eighth annual conference, Feb 2021.
7
ROSHANDEL TAVANA NAZANIN,
"Logic and operator algebra,",
51th annual Iranian math conference, Feb 2021.
Taught Courses
#
Course title
Description
Headlines
Date
1
Introduction to Logic & Set Theory
4051
2
Introduction to Logic & Set Theory
4051
3
Foundations of Mathematics
4042
4
Introduction to the Theory of Computation
4042
5
Introduction to Logic & Set Theory
4042
6
Foundation of Mathematics
4041
7
Computer Programming
4041
8
Model Theory
4032
9
Foundation of Mathematics
4032
10
Foundation of Mathematics
4032
11
Theory of Computation
4032